Skip to content

[RTM] delete travis.php.ini#73

Merged
stefanheimes merged 1 commit intomasterfrom
delete_travis.php.ini
Feb 16, 2020
Merged

[RTM] delete travis.php.ini#73
stefanheimes merged 1 commit intomasterfrom
delete_travis.php.ini

Conversation

@zonky2
Copy link
Copy Markdown
Contributor

@zonky2 zonky2 commented Dec 3, 2019

delete travis.php.ini

@zonky2 zonky2 requested a review from discordier December 5, 2019 12:20
@zonky2 zonky2 added this to the 2.1.1 milestone Dec 18, 2019
Copy link
Copy Markdown
Member

@discordier discordier left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@zonky2 zonky2 changed the title delete travis.php.ini [RTM] delete travis.php.ini Dec 22, 2019
@zonky2 zonky2 force-pushed the delete_travis.php.ini branch from 68d660b to 67331f8 Compare February 4, 2020 17:23
stefanheimes added a commit that referenced this pull request Feb 16, 2020
- Delete travis.php.ini
- Fix a problem with phpspec
@stefanheimes stefanheimes merged commit 67331f8 into master Feb 16, 2020
@stefanheimes stefanheimes deleted the delete_travis.php.ini branch February 16, 2020 15:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants